Modeling Web Services Composition with Timed Pi Calculus

Formal Modeling of Trust Web Service Composition using Pi-calculus

To enhance the credibility of Web service composition, Pi-calculus based formal modeling of trust Web service composition is proposed. Trust Web service composition is firstly defined abstractly; then Picalculus is used to depict structure and internal interaction of Trust Web service composition, the mapping relation between trust entity and Pi-calculus is provided. Automatic reasoner MWB is a...

Using Pi-calculus to Model Dynamic Web Services Composition Based on the Authority Model

There are lots of research works on web service, composition, modeling, verification and other problems. Theses research works are done on the basis of formal methods, such as petri-net, pi-calculus, automata theory, and so on. Pi-calculus is a natural vehicle to model mobility aspect in dynamic web services composition (DWSC). However, it has recently been shown that pi-calculus needs to be ex...

Automated Web Services Composition with the Event Calculus

As the web services proliferate and complicate it is becoming an overwhelming job to manually prepare the web service compositions which describe the communication and integration between web services. This paper analyzes the usage of the Event Calculus, which is one of the logical actioneffect definition languages, for the automated preparation and execution of web service compositions. In thi...

Composition of Web Services based on Timed Mediation

Composition of Web Services: From Qualitative to Quantitative Timed Properties

Dealing with service composition is an important and challenging issue of distributed systems. Existing works investigate mechanisms for analyzing and synthesizing a composition based on qualitative properties which characterize operations and/or messages choreography constraints. Apart from these qualitative properties, quantitative properties such as time related features are a crucial settin...